Search Results
Joel Burget - Authoring and Formal Verification of Smart Contracts in Pact - λC 2018
Certik is a formal verification system for smart contracts
Certik is a formal verification system for smart contracts
Certik is a formal verification system for smart contracts
CertiK Interview: Formal Verification Platform for Smart Contracts and Blockchain Ecosystems
Formal Verification Workshop Part 2
Mooly Sagiv on Certora's exact and automatic formal verification of smart contracts
Formal Verification Workshop Part 1
pact demo
CertiK Deck Introduction
Smart Contract Verification | Runtime Verification Inc.
Smart Contract formal verification: Process Calculus and Modal Logics
